Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
131	Modal logics for communicating rule-based agents Natasha Alechina and Mark Jago and Brian Logan1 Abstract. In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for mul Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Symbol Epistemic modal logic Modal logic Proof theory Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
132	Reasoning with Hypothetical Judgments and Open Terms in Hybrid Amy P. Felty Alberto Momigliano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-02 05:22:59 Deduction Models of computation Formal methods Entailment Metalogic De Bruijn index Natural deduction Curry–Howard correspondence Logic Mathematical logic Lambda calculus
133	Proof-Theoretic and Higher-Order Extensions of Logic Programming Alberto Momigliano1,2 and Mario Ornaghi1 1 Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-30 09:07:46 Proof theory Metalogic Model theory Formal languages Deduction Curry–Howard correspondence Standard ML Sequent calculus Symbol Logic Mathematics Mathematical logic
134	Alternative Forms of Compound Fractional Poisson Processes Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 17:24:46 Fourier analysis Poisson distribution Symbol Exponential distribution Bessel function Dirac delta function Theorems and definitions in linear algebra Curry–Howard correspondence Mathematical analysis Statistics Poisson processes
135	Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:40 Model theory Constructible universe Lambda calculus First-order logic FO Interpretation Curry–Howard correspondence Boolean-valued model Mathematical logic Logic Mathematics
136	Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretation Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2011-05-27 18:07:14 Metalogic Dialectica interpretation First-order logic Constructible universe Curry–Howard correspondence Binomial coefficient Mathematical logic Proof theory Logic
137	J. R. Statist. Soc. B[removed], Part 3, pp. 479–498 A direct approach to false discovery rates John D. Storey Stanford University, USA Add to Reading List Source URL: www.stat.cmu.edu Language: English - Date: 2014-09-20 00:19:41 Statistical hypothesis testing P-value Multiple comparisons Confidence interval Statistical power Type I and type II errors Familywise error rate F-test Curry–Howard correspondence Statistics Hypothesis testing False discovery rate
138	A NOTE ON INTERVAL ESTIMATION OF THE STANDARD DEVIATION OF A GAMMA POPULATION WITH APPLICATIONS TO STATISTICAL QUALITY CONTROL JARON FROST, KARA KELLER, JONATHAN LOWE, TOYA SKEETE, ´ WALTON, JESSIE CASTILLE AND NABENDU Add to Reading List Source URL: anisette.ucs.louisiana.edu Language: English - Date: 2012-01-18 11:20:34 Normal distribution Sample size determination Confidence interval Curry–Howard correspondence Pareto distribution Statistics Econometrics Gamma distribution
139	Power-aware speed scaling in processor sharing systems: Optimality and robustness Add to Reading List Source URL: people.ece.cornell.edu Language: English - Date: 2012-10-24 10:24:06 Mathematics Ordinal arithmetic Curry–Howard correspondence Algebraic geometry Field theory Valuation
140	Armenian Journal of Mathematics Volume 3, Number 4, 2010, 174–187 Dirichlet Averages of Generalized Multi–index Mittag–Leffler Functions R. K. Saxena, T. K. Pog´any, J. Ram and J. Daiya* Add to Reading List Source URL: ajm.asj-oa.am Language: English - Date: 2011-12-02 09:04:03 Mathematical analysis Ordinal numbers Ordinal arithmetic Curry–Howard correspondence Mathematics Mathematical logic Symbol

UPDATE